Skip to content

Conversation

@TomasVotruba
Copy link
Contributor

Before

image

@ondrejmirtes ondrejmirtes merged commit dd10fdd into phpstan:master Dec 16, 2019
@ondrejmirtes
Copy link
Member

Thanks.

@TomasVotruba TomasVotruba deleted the patch-1 branch December 16, 2019 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants